Elective Theoretical Computer Science

Module	Title	LV Type	CP	LV	Dates
Compiler Construction	Compilerbau	Fach-/Modulprüfung	6	402616
	Compilerbau	Übung		398320	Mi 14:30-16:00 Online-Veranstaltung (×13) Do 08:30-18:00 5056 (2356\|056) (×1) Fr 08:30-18:00 5056 (2356\|056) (×1)
	Compilerbau	Vorlesung		400150	Do 12:30-14:00 Online-Veranstaltung (×11) Fr 14:30-16:00 Online-Veranstaltung (×10)
Efficient Algorithms	Effiziente Algorithmen (WS)	Fach-/Modulprüfung	6	402232
	Effiziente Algorithmen - Übung	Tutorium		400468	Mi 12:30-14:00 Online-Veranstaltung (×13) Fr 12:30-14:00 Online-Veranstaltung (×13) Fr 16:30-18:00 Online-Veranstaltung (×13)
	Effiziente Algorithmen	Vorlesung		399919	Di 16:30-18:00 Online-Veranstaltung (×13) Do 14:30-16:00 Online-Veranstaltung (×14)
Mathematical Logic II	Mathematische Logik II	Fach-/Modulprüfung	6	403579
	Mathematische Logik II	Übung		397307	Mi 12:30-14:00 Online-Veranstaltung (×14)
	Mathematische Logik II	Vorlesung		397845	Mo 10:30-12:00 AH I (2350\|028) (×14) Mo 12:30-14:00 Online-Veranstaltung (×14) Mi 10:30-12:00 AH I (2350\|028) (×14) Mi 10:30-12:00 Online-Veranstaltung (×14)
Model Checking	Model Checking	Fach-/Modulprüfung	6	404964
	Introduction to Model Checking	Übung		397945	Do 10:30-12:00 Online-Veranstaltung (×13)
	Introduction to Model Checking	Vorlesung		399346	Mo 16:30-18:00 Online-Veranstaltung (×13) Do 14:30-16:00 Online-Veranstaltung (×13)
Module Complexity Theory	Komplexitätstheorie	Fach-/Modulprüfung	6	402937
	Übung zur Vorlesung Komplexitätstheorie	Übung		399044	Fr 12:30-14:00 Online-Veranstaltung (×14)
	Komplexitätstheorie	Vorlesung		400101	Mo 16:30-18:00 Online-Veranstaltung (×14) Di 16:30-18:00 Online-Veranstaltung (×14)
Satisfiability Checking	Erfüllbarkeitsüberprüfung (Satisfiability Checking)	Fach-/Modulprüfung	6	402890
Satisfiability Checking	Erfüllbarkeitsüberprüfung	Vorlesung/Übung		399309	Mo 08:30-10:00 Online-Veranstaltung (×14) Di 08:30-10:00 Online-Veranstaltung (×14)